Supporting Process Development in Bio-jETI by Model Checking and Synthesis
نویسندگان
چکیده
Bio-jETI is a platform for the intuitive graphical design and execution of bioinformatics workflows composed from heterogeneous remote services. In this paper we use a simple phylogenetic analysis process to show how formal approaches like model checking and process synthesis can be applied to further support the workflow development in Bio-jETI. To unfold their full potential these methods need a comprehensive knowledge base about the domain, containing semantic information about the single services as well as ontological classifications of the used terms. We outline how to systematically integrate these semantic web concepts into our framework and discuss the implications on checking and synthesis.
منابع مشابه
GeneFisher-P: Variations of GeneFisher as Processes in BiojETI 1- (part of ”From Components to Processes”)-
PCR primer design is an everyday, but not trivial task requiring state-of-the-art software. We describe the popular tool GeneFisher and explain its recent restructuring using workflow techniques. We apply a service-oriented approach to model and implement GeneFisher-P, a process-based version of the GeneFisher web application, as a part of the Bio-jETI platform for service modelling and executi...
متن کاملSemantics-Based Composition of EMBOSS Services with Bio-jETI
Bio-jETI is a framework for model-based, graphical design, execution and management of bioinformatics analysis processes. Formal methodology like automatic service composition extends the framework and, in particular, allows for semantically aware workflow development. In this study we apply the workflow synthesis methodology to the EMBOSS suite of sequence analysis tools. As neither the tool s...
متن کاملSws Challenge: Status, Perspectives, and Lessons Learned so Far
In this final contribution we summarize the current status and achievements of the SWS Challenge, present the perspectives and future steps, and summarize the lessons learned so far both concerning this Challenge and the non-competitive problem driven comparison of approaches in general, as for instance in the context of other initiatives with a similar spirit (like the jETI-FMICS and Bio-jETI ...
متن کاملPreparation of Nitrogen-Doped Graphene By Solvothermal Process as Supporting Material for Fuel Cell Catalysts
Development of efficient electrocatalysts for oxygen reduction reaction (ORR) is one of the most important issues for optimizing the performance of fuel cells and metal-air batteries. The introduction of nitrogen into carbon nanostructures has created new pathways for the development of non-precious electrocatalysts in fuel cells. In this work, nitrogen-doped graphene (NG) was synthesized by a ...
متن کاملStatistical Evaluation of the Pertinent Parameters in Bio-synthesis of Ag/MWf-CNT Composites Using Plackett-Burman Design and Response Surface Methodology
Green chemistry - also called sustainable chemistry - as the cost-effective and environmentally friendly techniques have been gaining more attention recent years. Here, we introduced a fast, non-toxic and sustainable method to synthesize Ag nanoparticles. Various parameters are involved in the bio-synthesis of Ag nanoparticles/multi-walled carbon nanotubes (Ag/MWf-CNT) composites, including...
متن کامل